deq-member(eq; x; L) == reduce((a,b. bor((eqof(eq)(a,x)); b)); ff; L) 

latex

Definitions	ff, eqof(d), bor(p; q), reduce(f; k; as)
FDL editor aliases	deq-member